On the k-Boundedness for Existential Rules

The chase is a fundamental tool for existential rules. Several chase variants are known, which differ on how they handle redundancies possibly caused by the introduction of nulls. Given a chase variant, the halting problem takes as input a set of existential rules and asks if this set of rules ensures the termination of the chase for any factbase. It is well-known that this problem is undecidable for all known chase variants. The related problem of boundedness asks if a given set of existential rules is bounded, i.e., whether there is a predefined upper bound on the number of (breadth-first) steps of the chase, independently from any factbase. This problem is already undecidable in the specific case of datalog rules. However, knowing that a set of rules is bounded for some chase variant does not help much in practice if the bound is unknown. Hence, in this paper, we investigate the decidability of the k-boundedness problem, which asks whether a given set of rules is bounded by an integer k. We prove that k-boundedness is decidable for three chase variants, namely the oblivious, semi-oblivious and restricted chase.Comment: 20 pages, revised version of the paper published at RuleML+RR 201

Effects of Total Resources, Resource Ratios, and Species Richness on Algal Productivity and Evenness at Both Metacommunity and Local Scales

The study of the interrelationship between productivity and biodiversity is a major research field in ecology. Theory predicts that if essential resources are heterogeneously distributed across a metacommunity, single species may dominate productivity in individual metacommunity patches, but a mixture of species will maximize productivity across the whole metacommunity. It also predicts that a balanced supply of resources within local patches should favor species coexistence, whereas resource imbalance would favor the dominance of one species. We performed an experiment with five freshwater algal species to study the effects of total supply of resources, their ratios, and species richness on biovolume production and evenness at the scale of both local patches and metacommunities. Generally, algal biovolume increased, whereas algal resource use efficiency (RUE) and evenness decreased with increasing total supply of resources in mixed communities containing all five species. In contrast to predictions for biovolume production, the species mixtures did not outperform all monocultures at the scale of metacommunities. In other words, we observed no general transgressive overyielding. However, RUE was always higher in mixtures than predicted from monocultures, and analyses indicate that resource partitioning or facilitation in mixtures resulted in higher-than-expected productivity at high resource supply. Contrasting our predictions for the local scale, balanced supply of resources did not generally favor higher local evenness, however lowest evenness was confined to patches with the most imbalanced supply. Thus, our study provides mixed support for recent theoretical advancements to understand biodiversity-productivity relationships

Biophysical Assessment of Single Cell Cytotoxicity: Diesel Exhaust Particle-Treated Human Aortic Endothelial Cells

Exposure to diesel exhaust particles (DEPs), a major source of traffic-related air pollution, has become a serious health concern due to its adverse influences on human health including cardiovascular and respiratory disorders. To elucidate the relationship between biophysical properties (cell topography, cytoskeleton organizations, and cell mechanics) and functions of endothelial cells exposed to DEPs, atomic force microscope (AFM) was applied to analyze the toxic effects of DEPs on a model cell line from human aortic endothelial cells (HAECs). Fluorescence microscopy and flow cytometry were also applied to further explore DEP-induced cytotoxicity in HAECs. Results revealed that DEPs could negatively impair cell viability and alter membrane nanostructures and cytoskeleton components in a dosage- and a time-dependent manner; and analyses suggested that DEPs-induced hyperpolarization in HAECs appeared in a time-dependent manner, implying DEP treatment would lead to vasodilation, which could be supported by down-regulation of cell biophysical properties (e.g., cell elasticity). These findings are consistent with the conclusion that DEP exposure triggers important biochemical and biophysical changes that would negatively impact the pathological development of cardiovascular diseases. For example, DEP intervention would be one cause of vasodilation, which will expand understanding of biophysical aspects associated with DEP cytotoxicity in HAECs

Environmental Predictors of Diversity in Recent Planktonic Foraminifera as Recorded in Marine Sediments

© 2016 Fenton et al. This is an open access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited. [4.0 license]. The attached file is the published version of the article